add_library_ex(prt_hwi.c)
add_library_ex(prt_hw_plic.c)
add_library_ex(prt_hwi.s)
